from optilog.sat.pbencoder import Encoder